$\forall$$T$:Type, ${\it as}$, ${\it bs}$, ${\it cs}$:$T$ List. ${\it as}$ @ ${\it bs}$ $\leq$ ${\it as}$ @ ${\it cs}$ $\Leftrightarrow$ ${\it bs}$ $\leq$ ${\it cs}$